Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
261	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
262	Modelling Text Input Strategies for Miniature Portable Devices with Finite State Automata Frode Eika Sandnes Faculty of Engineering Oslo University College Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2005-12-08 10:04:19 Computing Input/output Software Typing Chorded keyboard User interface Keyboard layout Virtual keyboard Mode Computer keyboards Humanâ€“computer interaction User interface techniques
263	Integrating Hands-on Work into the Formal Languages Course via Tools and Programming Susan H. Rodger Department of Computer Science Duke University Durham, NC[removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:06:06 Theoretical computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Non-deterministic Turing machine Turing machine LL parser LR parser Theory of computation Automata theory Models of computation
264	A Visual and Interactive Automata Theory Course with JFLAP 4.0 ∗ Ryan Cavalcante Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-12-22 12:57:12 Compiler construction Theoretical computer science Computer science Automata theory LL parser LR parser Parsing Nondeterministic finite automaton Finite-state machine Formal languages Models of computation Theory of computation
265	Two-Way Cost Automata and Cost Logics over Infinite Trees Achim Blumensath TU Darmstadt Thomas Colcombet Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-01-20 11:11:33 Mathematics Ω-automaton Finite-state machine Alphabet Sequence Muller automaton Infinite tree automaton Automata theory Theoretical computer science Computer science
266	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-18 10:44:50 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
267	Automata-based Data Structures for Representing Sets of Vectors Bernard Boigelot Universit´ e de Li` Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-13 06:03:42 Applied mathematics Regular expression FO Finite-state machine Nested word Automata theory Theoretical computer science Computer science
268	On Regular Expression Matching and Deterministic Finite Automata Philip Bille∗ Technical University of Denmark, DTU Compute ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Regular language Regular expression Finite-state machine Matching String searching algorithm Synchronizing word Automata theory Theoretical computer science Computer science
269	A. Evans Dept. of Computing, University of York [removed] Rigorous Development in UML Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2003-02-04 09:56:28 Infographics Information science Communication design Data modeling Automata theory State diagram Unified Modeling Language Finite-state machine ECO UML diagrams Models of computation Diagrams
270	Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP Magdalena Procopiuc1, Octavian Procopiuc and Susan H. Rodger1 Computer Science Department, Box[removed]Duke University Durham, North Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:05:10 Theoretical computer science Combinatorics Mathematics Deterministic pushdown automaton Pushdown automaton Finite-state machine Alphabet Formal grammar Regular expression Automata theory Formal languages Models of computation

UPDATE